An Abstract View of Programming Languages
Eugenio Moggi
たぶんだけど
モナド変換子登場以前の
論文
この論文がきっかけでMonadの合成方法がいくつか考案されてきた
pdf